Don't leave behind zombie device model processes

Signed-off-by: Edwin Zhai <edwin.zhai@intel.com>
Signed-off-by: Arun Sharma <arun.sharma@intel.com>

diff --git a/tools/python/xen/xend/image.py b/tools/python/xen/xend/image.py
index 8c8f2027b41eb3d7b0847f54129977274c697859..1f1aa34bee8ed09e6255e091f430592c1431d1dd 100644 (file)
--- a/tools/python/xen/xend/image.py
+++ b/tools/python/xen/xend/image.py
@@ -352,8 +352,9 @@ class VmxImageHandler(ImageHandler):
 
     def destroy(self):
         channel.eventChannelClose(self.device_channel)
-        os.system("kill -KILL"
-                + " %d" % self.pid)
+        import signal
+        os.kill(self.pid, signal.SIGKILL)
+        (pid, status) = os.waitpid(self.pid, 0)
 
     def getDomainMemory(self, mem_mb):
         return (mem_mb * 1024) + self.getPageTableSize(mem_mb)